Merge branch 'master' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 19 Jul 2018 18:06:25 +0000 (18:06 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 19 Jul 2018 18:06:25 +0000 (18:06 +0000)
commit7dabc2a42c41febd668fa8d2d1fc77850703ca09
tree24409c6e42ad88d831fb045cd500252ac170e1be
parentbef8a3a0e92891e021f4f43d4a108762c53383fa
parent1d4ce5a544893520d32f990e0f918ee1aad00ab7
Merge branch 'master' into 'master'

widgetfactory: add separator tool item to presentation

See merge request GNOME/gtk!249